NP-complete problems - PDFSEARCH.IO - Document Search Engine

NP-complete problems
Results: 1536

#	Item
471	Non-optimal Multi-Agent Pathfinding is Solved (SinceGabriele R¨oger and Malte Helmert University of Basel, Switzerland {gabriele.roeger,malte.helmert}@unibas.ch Abstract Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Games Pathfinding Fifteen puzzle Applied mathematics NP-complete problems Mathematics Game artificial intelligence
472	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
473	Computing Science TACKLING THE PARTNER UNITS CONFIGURATION PROBLEM Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:58 Induced path Graph Matroid theory Graph coloring NP-complete problems Pseudoforest Graph theory Graph operations Path decomposition
474	Introduction Power Domination Network and Attack Models Structural Controllability under Vertex Removal Conclusions and Future Work Add to Reading List Source URL: www.critis2013.nl Language: English - Date: 2013-09-21 17:44:33 Control theory Graph theory NP-complete problems Controllability Dominating set Vertex Graph Network theory Network controllability Mathematics Theoretical computer science Applied mathematics
475	cccg-cluster_visibility-2.dvi Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:19 NP-complete problems Art gallery problem Steiner tree problem Vertex Connectivity Pseudotriangle Tree Graph Dominating set Graph theory Mathematics Theoretical computer science
476	crosoft Word - 6455 2 Add to Reading List Source URL: www.icms.polyu.edu.hk Language: English - Date: 2010-09-25 04:18:22 Mathematics NP-complete problems Cybernetics Berth allocation problem Evolutionary algorithms Mathematical optimization Memetic algorithm Ant colony optimization algorithms Genetic algorithm Theoretical computer science Operations research Applied mathematics
477	The Complexity Ecology of Parameters: An Illustration Using Bounded Max Leaf Number ? Michael Fellows1,2 and Frances Rosamond1 Add to Reading List Source URL: www.mrfellows.net Language: English - Date: 2009-08-06 03:12:58 NP-complete problems Analysis of algorithms Parameterized complexity Kernelization Bidimensionality Dominating set Tree decomposition Path decomposition Feedback vertex set Theoretical computer science Computational complexity theory Graph theory
478	Fast Downward Stone Soup Malte Helmert and Gabriele R¨oger and Jendrik Seipp Erez Karpas University of Freiburg, Germany Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-04-30 16:52:25 Theoretical computer science Operations research Heuristics Combinatorial optimization NP-complete problems Greedy algorithm Heuristic function A* search algorithm Algorithm Mathematics Search algorithms Applied mathematics
479	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 On Rolling Cube Puzzles Kevin Buchin∗ Maike Buchin∗ Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:27:49 Graph Path Graph operations Implicit graph Line graph Graph theory NP-complete problems Hamiltonian path
480	Research Statement Darren Strash Institute of Theoretical Informatics Karlsruhe Institute of Technology January 12, 2015 Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2015-01-12 15:52:14 NP-complete problems Algorithm Mathematical logic Graph theory Computational geometry Graph coloring Combinatorics Distributed computing Kurt Mehlhorn Theoretical computer science Mathematics Applied mathematics

UPDATE